terminal algebra semantics

[計] 終端代數語義學